Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems
نویسندگان
چکیده
We address the modelling and validation of P2P networks with special attention for problems related to VoIP services, focusing particularly on Skype. We use generalised stochastic graph transformation systems and associated stochastic simulation techniques based on generalised semiMarkov processes.
منابع مشابه
Stochastic simulation of P2P VoIP network reconfiguration using graph transformation
Peer-to-Peer (P2P) networks provide an alternative approach to distributed systems, relaxing the requirements for dedicated servers from the client-server model. A P2P network operates as an overlay at application layer, on top of the physical network. In the early years of P2P, most applications lacked mechanisms for enforcing a particular overlay topology. This resulted in inefficient communi...
متن کاملModel-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System
P2P systems are characterised by large-scale distribution and high degree of architectural dynamics caused by their lack of central coordination. In such an environment, it is notoriously hard to guarantee a good quality of service. Simulation can help to validate network designs and protocols, but most existing simulation approaches cannot cope with unbounded dynamic change of network topology...
متن کاملModeling dynamic reconfigurations in Reo using high-level replacement systems
Reo is a channel-based coordination language, wherein circuit-like connectors model and implement interaction protocols in heterogeneous environments that coordinate components or services. Connectors are constructed from primitive channels and can be reconfigured dynamically. Reconfigurations can even execute within a pending I/O transaction. In this article, we formally model and analyze dyna...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ECEASST
دوره 16 شماره
صفحات -
تاریخ انتشار 2008